Type theory - PDFSEARCH.IO - Document Search Engine

Type theory
Results: 3552

#	Item
731	On the Integration of the Actor Model into Mainstream Technologies A Scala Perspective Philipp Haller Typesafe, Inc. Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2013-05-22 03:52:53 Cross-platform software Functional languages Java platform Concurrent computing Type theory Scala Actor model Erlang Continuation Computing Software engineering Computer programming
732	COXETER-KNUTH GRAPHS AND A SIGNED LITTLE MAP FOR TYPE B REDUCED WORDS SARA BILLEY, ZACHARY HAMAKER, AUSTIN ROBERTS AND BENJAMIN YOUNG Abstract. We define an analog of David Little’s algorithm for reduced words in type Add to Reading List Source URL: www.math.washington.edu Language: English - Date: 2014-09-15 19:11:10 Symmetric functions Algebraic combinatorics Coxeter group Graph theory Representation theory Young tableau Harold Scott MacDonald Coxeter Littlewood–Richardson rule Modal logic Abstract algebra Mathematics Algebra
733	- C Reference Manual Dennis M. Ritchie Bell Telephone Laboratories Murray Hill, New Jersey 07974 Add to Reading List Source URL: www.math.utah.edu Language: English - Date: 2002-07-17 22:26:19 C programming language C++ Procedural programming languages Type theory C++ classes C Initialization Sizeof Pointer Software engineering Computing Computer programming
734	Type Theory and Univalent Foundation Thierry Coquand (j.w.w. M. Bezem and S. Huber) Royal Society meeting, November 26, 2013 Type Theory and Univalent Foundation Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-11-27 15:43:03 Type theory Dependently typed programming Logic in computer science Proof theory Mathematical constructivism Function Intuitionistic type theory Axiom of choice Constructible universe Mathematical logic Mathematics Logic
735	STANDARD QUOTATION & SPECIFICATION FORM VENDOR OF RECORD: 1. STATE: 3. BRAND NAME: 5. STATE STOCK: 8. TYPE: Add to Reading List Source URL: www.liquor.idaho.gov Language: English - Date: 2015-02-24 11:19:40 Writing Programming language theory Computing Supply chain management Universal Product Code International Article Number ML FOB Identifiers Universal identifiers Barcodes
736	SherLog: Error Diagnosis by Connecting Clues from Run-time Logs Ding Yuan Haohui Mai Add to Reading List Source URL: opera.ucsd.edu Language: English - Date: 2010-01-25 16:41:36 Information retrieval Log analysis Type system Find Symbolic execution Computing Type theory Information science
737	Notions of Bidirectional Computation and Entangled State Monads Faris Abou-Saleh1 , James Cheney2 , Jeremy Gibbons1 , James McKinna2 , and Perdita Stevens2 1 Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2015-04-29 12:24:51 Computer programming Adjoint functors Data types Monad Type theory Strong monad Type class Haskell Monoid Declarative programming Software engineering Functional programming
738	FACS Released ItemsChild Care Guidance, Mgmt, & Services 11. The first paragraph of a letter of application should _______________. Add to Reading List Source URL: www.arcteassessment.com Language: English - Date: 2013-10-02 10:02:59 Order theory Ordered pair Type theory
739	Object Oriented Programming CSCI-GASpring 2012 Sample Final Exam Questions 1. True/False. Circle the appropriate choice on this sheet. (a) T F Add to Reading List Source URL: cs.nyu.edu Language: English - Date: 2012-05-08 23:54:12 Data types Object-oriented programming Type theory Polymorphism Java programming language Subtype polymorphism Const-correctness Generics in Java Generic programming Software engineering Computing Computer programming
740	A subexponential lower bound for the Random Facet algorithm for Parity Games Oliver Friedmann∗ Thomas Dueholm Hansen† Add to Reading List Source URL: files.oliverfriedmann.de Language: English - Date: 2012-02-10 07:43:15 Probabilistic complexity theory Randomized algorithm Permutation Structure LP-type problem Mathematics Theoretical computer science Analysis of algorithms

UPDATE